Pascal-Francis CNRS

Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("ELSPAS B")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 1 of 1

  • Page / 1
Export

Selection :

  • and

AN ASSESSMENT OF TECHNIQUES FOR PROVING PROGRAM CORRECTNESSELSPAS B; LEVITT KN; WALDINGER RJ et al.1972; COMPUTG SURV.; U.S.A.; DA. 1972; VOL. 4; NO 2; PP. 97-147; BIBL. 3 P.Serial Issue

  • Page / 1